Mining Predictive k-CNF Expressions
نویسندگان
چکیده
منابع مشابه
Mining Predictive k - CNF Expressions Anton
We adapt Mitchell’s version space algorithm for mining k-CNF formulae. Advantages of this algorithm are that it runs in a single pass over the data, is conceptually simple, can be used for missing value prediction, and has interesting theoretical properties, while an empirical evaluation on classification tasks yields competitive predictive results.
متن کاملUnsatisfiable (k,(4*2^k/k))-CNF formulas
A Boolean formula in a conjunctive normal form is called a (k, s)-formula if every clause contains exactly k variables and every variable occurs in at most s clauses. We show that there are unsatisfiable (k, 4 · 2 k
متن کاملOn Computing k-CNF Formula Properties
The latest generation of SAT solvers (e.g. [9, 5]) generally have three key features: randomization of variable selection, backtracking search, and some form of clause learning. We present a simple algorithm with these three features and prove that for instances with constant ∆ (where ∆ is the clause-to-variable ratio) the algorithm indeed has good worst-case performance, not only for computing...
متن کاملMining to Compact CNF Propositional Formulae
In this paper, we propose a first application of data mining techniques to propositional satisfiability. Our proposed Mining4SAT approach aims to discover and to exploit hidden structural knowledge for reducing the size of propositional formulae in conjunctive normal form (CNF). Mining4SAT combines both frequent itemset mining techniques and Tseitin’s encoding for a compact representation of CN...
متن کاملOnline Learning of k-CNF Boolean Functions
This paper revisits the problem of learning a k-CNF Boolean function from examples, for fixed k, in the context of online learning under the logarithmic loss. We give a Bayesian interpretation to one of Valiant’s classic PAC learning algorithms, which we then build upon to derive three efficient, online, probabilistic, supervised learning algorithms for predicting the output of an unknown k-CNF...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Knowledge and Data Engineering
سال: 2010
ISSN: 1041-4347
DOI: 10.1109/tkde.2009.152